adding an instances for lentails ==> iff.