What would you like to formalize?