(p<=>q)=>(p=>q) & (q=>p).
