The Joy of Formalities {Open}