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