Comments around equations for Implications.