oh yeah. You're right, I had forgotten that. Stupid Geometry, that's the only time I ever used those properties.

but it's also a syllogism used in arguments.