Logik für Zähler, Teiler