postulatets enkelhet med axiomets klarhet.