Tag: lack of precision in geometry proofs