Correct. If then so and therefore