Actually its implication: https://en.m.wikipedia.org/wiki/Implication