Geometric meaning of the four modal operators important to us
The Box-translation (details still to be filled out)