U teoriji skupova ne postoji pojam univerzalnog skupa, jer taj pojam vodi u protivrečnost. Komplement skupa se uvek posmatra u odnosu na neki fiksiran nadskup.
Problem u školama sa iskaznim računom je što niko ne kaže čemu to služi i nigde se ne primenjuje. Suština je da je svaka instanca tautologije tačno tvrđenje i onda nema problema sa Cabo-vim dokazom.
Đaci treba da dokazuju tvrđenja, jer na taj način vežbaju rezonovanje. Rezonovanje im je neophodno, kako za izradu zadataka, tako i za kasniju primenu znanja, jer će retko realan problem da ima tačnu formulaciju nekog stava, već je potrebno nešto povezati.
Nije bitno koji su zaključci izvučeni, već kako se do njih došlo.