spare keisler needed
^^^ True that.
Print