Describir: Formal method