Collaborative Reasoning in a Cognitive Tool