Minn dak żviluppat fid-dettall kbir il-fatt li kull parti ta 'sħiħ li jkollu xebh mal-sħiħ kien ukoll il-sħiħ; li kull sebgħa kienet il-klassi tas-sebgħa kollha; u dettalji oħra tax-xjenza ta 'xebh maġiku segwiti b'mod pjuttost loġiku mill-axiom wieħed.
Sħiħ mhux ugwali għal parti.