Lause 1: Jape on konfiguroitavissa oleva graafinen todistusaineisto, jonka alun perin kehittivät Richard Bornat Lontoon Queen Mary - yliopistosta ja Bernard Sufrin Oxfordin yliopistosta. Lause 2: Jape on konfiguroitavissa oleva, graafinen todistusaineiston apulainen, jonka alun perin kehittivät Bernard Sufrin Queen Mary - yliopistossa Lontoossa ja Richard Bornat Oxfordin yliopistossa. Kysymys: Ilmaisevatko lause 1 ja lause 2 samaa merkitystä? - Kyllä vai ei?
- Ei, ei.