Logic Based Therapy