andS_1_negate