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