Teaching logic as a tool
