(Negate (FromInteger 2),True)