schuelermine@anselmschueler@ieji.de the existence of the comptroller implies the existence of the comptputer