a=b a!=b ab a=>b a=