Der Kalkül setzt den Kalkül voraus.