Tag: lack of precision in geometry perpendicular lines proofs