Med axiomatisk klarhet bör dennasanning