Square Rotation Predicate