Men logikens högre lag är här klar , och der.