Stelling 1: Jape is'n konfigureerbare grafiese bewys assistent, oorspronklik ontwikkel deur Bernard Sufrin by Queen Mary, Universiteit van Londen en Richard Bornat van die Universiteit van Oxford. 2de sin: Jape is'n konfigureerbare, grafiese bewys assistent, oorspronklik ontwikkel deur Bernard Sufrin by Queen Mary, Universiteit van Londen en Richard Bornat die Universiteit van Oxford. Vraag: Het sin 1 en sin 2 dieselfde betekenis? Ja of Nee?
Ja, ek het