====== axiomatisch ======