finished Ge, Not, Neg, and If