Describir: Condicionales contralegales y verificación