Uses implication instead of if