"I am sorry you failed logic.Your position holds only if A and B are both provable conditions.The definition of a square and rectangle are sound.Your position does NOT hold when you are considering a point where A is a provable position and B is a course of action or other consequence following.If X is a square, then X is a rectangle requires the definition of a square to be also a rectangle.In" . . . .