Make formal