FixedPoint2.0, FalseRule2.1