Ай да мы, молодцы. С помощью студентов удалось записать две строчки гемары (תינח מציאה מקח וממכר מאי איכא למימר אלא מחוורתא כדשנינן מעיקרא - ב"מ ג:) в виде шести строчек логических операторов и обозвать это "оператором отвержения второго предположения". После этого студенты начали что-то понимать.