Leftarrow replaced with impliedby