Tag: problems in interpreting geometrical proofs