Implications and Second Order Thinking