mas não formalmente suficiente.