Formalização obrigatória