Der Lehrer überprüfte die mathematischen Beweise des Schülers auf Widerspruchsfreiheit, um sicherzustellen, dass die Logik keine sich widersprechenden Schritte enthielt.
Die neue Software zeigte eine ausgezeichnete Kompatibilität mit den bestehenden Systemen, so dass das Unternehmen sie problemlos in seinen täglichen Arbeitsablauf integrieren konnte.