Title: Logic-Based Therapy and Consultation