I'm very interested in your definition of (->) based on the idea of implication?