5˙4214
Also dürfen die Logik und ihre Anwendung einander nicht übergreifen.