en:linguistic_proofs