BACK TO FORMALITY