Tools and models for reasoning through shared goals with AI, using the Logical Thinking Process and issue trees.