If A is true, B must follow. A necessarily leads to B.