Sean formula_37 cosas, entonces formula_42 si y sólo si formula_43.