Added Not Operator for T1T2 Rules