cleanhyp:ɾõļ
contrapose:֤
splitgoal:֤Ŀ
