Tautologies by G. Osz