DEPRECATED Reason about triangle congruence postulates