Implies (4)