Betreibt man Logik mit dem Abakus?