Following a Rule

When the if-part happens, the then-part follows