Understanding of implies

Here: