الجملة الأولى: جيب هو مساعد إثبات جرافيكي قابل للتكوين، طوّره في الأصل ريتشارد بورنات في جامعة كوين ماري في لندن، و برنارد سافرين من جامعة أكسفورد. الجملة الثانية: "جايب" هو مساعد إثبات جرافيكي قابل للتكوين، طوره في الأصل برنارد سافرين في جامعة كوين ماري في لندن و ريتشارد بورنات من جامعة أكسفورد. سؤال: الجملة 1 والجملة 2 يعبروا عن نفس المعنى؟ إيه أو لا؟