Text this: Cartan calculus for C∞-ringed spaces.