Ty satserna äro alltför litet axiom-artace.