Med all aktning for axiomer , neinlige »när