cleanhyp:Borrar suposiciones innecesarias
contrapose:Contraposicin
splitgoal:Mostrar un objetivo por separado (cuando hay varios)
