5˙421
Die Anwendung der Logik entscheidet darüber, welche Elementarsätze es gibt.