Gravar-mail: A Logic-Based Psychotherapy Approach to Treating Patients Which Focuses on Faultless Logical Functioning: A Case Study Method