Clase 11 - negación, forall y el alcance de la inversibilidad