“Obligatorio” implica “permitido”. ¿implicación formal o material?