If X IS_PRIME then ...                           If X !IS_PRIME then ...