Example of implication, result, we cannot use implication like we wanted to