Formal competence (1)