Skip to main content
SpringerLink
Log in

The Socratic Method in Cognitive Behavioural Therapy: A Narrative Review

  • Original Article
  • Published:
Cognitive Therapy and Research Aims and scope Submit manuscript

Abstract

The Socratic Method has been described as an important component of CBT interventions yet an empirical case for its use has not been made. The objective of this paper is to review the role of the Socratic Method in CBT in four stages. First, a review of the literature describes how the Socratic Method is applied and defined within CBT, with assumptions regarding its proposed benefits identified. Second, a review of empirical literature demonstrates that multiple challenges to the evaluation of the Socratic Method exist and that no direct evidence supports the premise that it is beneficial in CBT. Evidence is examined which may suggest why the Socratic Method could be beneficial in therapy. Finally, the hypothesised function of the Socratic Method within therapy is discussed in reference to the Interacting Cognitive Subsystems framework. A number of avenues for future research are proposed in order to determine whether this potentially valuable therapeutic component contributes to the efficacy of CBT.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1

Similar content being viewed by others

References

  • American Psychiatric Association. (1994). Diagnostic and statistical manual of mental disorders (4th ed.). Washington, DC: American Psychiatric Association.

    Google Scholar 

  • American Psychiatric Association. (2009). Treatment of patients with panic disorder (2nd ed.). Washington, DC: APA Practice Guidelines.

    Google Scholar 

  • Andrews, G., Cuijpers, P., Craske, M. G., McEvoy, P., & Titov, N. (2010). Computer therapy for the anxiety and depressive disorders is effective, acceptable and practical health care: A meta-analysis. PLoS One, 5(10), e13196.

    Article  PubMed Central  PubMed  Google Scholar 

  • Arnkoff, D. B. (1986). A comparison of the coping and restructuring components of cognitive restructuring. Cognitive Therapy and Research, 10(2), 147–158.

    Article  Google Scholar 

  • Barnard, P. J. (2009). Depression and attention to two kinds of meaning: A cognitive perspective. Psychoanalytic Psychotherapy, 23(3), 248–262.

    Article  PubMed Central  PubMed  Google Scholar 

  • Barnard, P. J., & Teasdale, J. D. (1991). Interacting cognitive subsystems: A systemic approach to cognitive-affective interaction and change. Cognition and Emotion, 5(1), 1–39.

    Article  Google Scholar 

  • Beck, J. S. (2011). Cognitive behavior therapy: Basics and beyond (2nd ed.). New York: Guilford Press.

    Google Scholar 

  • Beck, A. T., & Dozois, D. J. (2011). Cognitive therapy: Current status and future directions. Annual Review of Medicine, 62, 397–409.

    Article  CAS  PubMed  Google Scholar 

  • Beck, A. T., Rush, A. J., Shaw, B. F., & Emery, G. (1979). Cognitive therapy of depression. New York: Guilford.

    Google Scholar 

  • Beck, A. T., Wright, F. D., Newman, C. F., & Liese, B. S. (1993). Cognitive therapy of substance abuse. New York: Guilford Press.

    Google Scholar 

  • Bennett-Levy, J. (2003). Mechanisms of change in cognitive therapy: The case of automatic thought records and behavioural experiments. Behavioural and Cognitive Psychotherapy, 31(03), 261–277.

    Article  Google Scholar 

  • Bennett-Levy, J., & Padesky, C. A. (2014). Use it or lose it: Post-workshop reflection enhances learning and utilization of CBT skills. Cognitive and Behavioral Practice, 21(1), 12–19.

    Article  Google Scholar 

  • Bishop, W., & Fish, J. M. (1999). Questions as interventions: Perceptions of Socratic, solution focused, and diagnostic questioning styles. Journal of Rational-Emotive & Cognitive–Behavior Therapy, 17(2), 115–140.

    Article  Google Scholar 

  • Blackburn, I. M., James, I. A., Milne, D. L., Baker, C., Standart, S., Garland, A., & Reichelt, F. K. (2001). The revised cognitive therapy scale (CTS-R): psychometric properties. Behavioural and Cognitive Psychotherapy, 29(04), 431–446.

    Article  Google Scholar 

  • Blackburn, I. M., James, I. A., Milne, D. L., Reichelt, F. K., Garland, A., Baker, C., & Claydon, A. (2000). Cognitive Therapy Scale-revised (CTS-R). Newcastle-upon-Tyne: Newcastle Cognitive and Behavioural Therapies Centre.

    Google Scholar 

  • Calero-Elvira, A., Froján-Parga, M. X., Ruiz-Sancho, E. M., & Alpañés-Freitag, M. (2013). Descriptive study of the Socratic method: Evidence for verbal shaping. Behavior Therapy, 44(4), 625–638.

    Article  PubMed  Google Scholar 

  • Calvert, P., & Palmer, C. (2003). Application of the cognitive therapy model to initial crisis assessment. International Journal of Mental Health Nursing, 12, 30–38.

    Article  PubMed  Google Scholar 

  • Carey, T. A., & Mullan, R. J. (2004). What is Socratic questioning? Psychotherapy: Theory Research, Practice, Training, 41(3), 217–226.

    Article  Google Scholar 

  • Cavanagh, K., & Millings, A. (2013). (Inter) personal computing: The role of the therapeutic relationship in e-mental health. Journal of Contemporary Psychotherapy, 43(4), 197–206.

    Article  Google Scholar 

  • Chi, M. T., De Leeuw, N., Chiu, M.-H., & LaVancher, C. (1994). Eliciting self-explanations improves understanding. Cognitive Science, 18(3), 439–477.

    Google Scholar 

  • Clark, D. M. (2004). Developing new treatments: On the interplay between theories, experimental science and clinical innovation. Behaviour Research and Therapy, 42(9), 1089–1104.

    Article  PubMed  Google Scholar 

  • Clark, D. M., Ehlers, A., McManus, F., Hackmann, A., Fennell, M., Campbell, H., & Louis, B. (2003). Cognitive therapy versus fluoxetine in generalized social phobia: A randomized placebo-controlled trial. Journal of Consulting and Clinical Psychology, 71(6), 1058–1067.

    Article  PubMed  Google Scholar 

  • Clark, D. M., Salkovskis, P. M., Hackmann, A., Middleton, H., Anastasiades, P., & Gelder, M. (1994). A comparison of cognitive therapy, applied relaxation and imipramine in the treatment of panic disorder. The British Journal of Psychiatry, 164(6), 759–769.

    Article  CAS  PubMed  Google Scholar 

  • Clarke, H., Rees, A., & Hardy, G. E. (2004). The big idea: Clients’ perspectives of change processes in cognitive therapy. Psychology and Psychotherapy: Theory, Research and Practice, 77(1), 67–89.

    Article  Google Scholar 

  • Craik, F. I. M. (1983). On the transfer of information from temporary to permanent memory. Philosophical Transactions of the Royal Society B: Biological Sciences, 302, 341–359.

    Article  Google Scholar 

  • DeRubeis, R. J., Webb, C. A., Tang, T. Z., & Beck, A. T. (2009). Cognitive therapy. In K. S. Dobson (Ed.), Handbook of cognitive–behavioral therapies (3rd ed., pp. 277–316). New York, NY: Guilford.

    Google Scholar 

  • Ehlers, A., Clark, D. M., Hackmann, A., McManus, F., & Fennell, M. (2005). Cognitive therapy for post-traumatic stress disorder: Development and evaluation. Behaviour Research and Therapy, 43(4), 413–431.

    Article  PubMed  Google Scholar 

  • Fairburn, C. G. (2008). Cognitive behavior therapy and eating disorders. New York: Guilford Press.

    Google Scholar 

  • Froján-Parga, M. X., Calero-Elvira, A., & Montaño-Fidalgo, M. (2009). Analysis of the therapist’s verbal behavior during cognitive restructuring debates: A case study. Psychotherapy Research, 19(1), 30–41.

    Article  PubMed  Google Scholar 

  • Froján-Parga, M. X., Calero-Elvira, A., & Montaño-Fidalgo, M. (2011). Study of the Socratic method during cognitive restructuring. Clinical Psychology & Psychotherapy, 18(2), 110–123.

    Article  Google Scholar 

  • Frusha, C. E. (2002). Rhetoric of change: A Socratic rhetorical inquiry into family therapy dialogue. Dissertation Abstracts International: Section B—The Sciences & Engineering, 63(5-B), 2297.

    Google Scholar 

  • Goldin, P. R., Ziv, M., Jazaieri, H., Werner, K., Kraemer, H., Heimberg, R. G., & Gross, J. J. (2012). Cognitive reappraisal self-efficacy mediates the effects of individual cognitive–behavioral therapy for social anxiety disorder. Journal of Consulting and Clinical Psychology, 80(6), 1034–1040.

    Article  PubMed Central  PubMed  Google Scholar 

  • Greenberger, D., & Padesky, C. A. (1995). Mind over mood. New York: Guilford press.

    Google Scholar 

  • Gumley, A., White, C. A., & Power, K. (1999). An interacting cognitive subsystems model of relapse and the course of psychosis. Clinical Psychology & Psychotherapy, 6(4), 261–278.

    Article  Google Scholar 

  • Harvey, A., Watkins, E., Mansell, W., & Shafran, R. (2004). Cognitive behavioural processes across psychological disorders: A transdiagnostic approach to research and treatment. Oxford, UK: Oxford University Press.

    Book  Google Scholar 

  • Haubert, L. C., & Dobson, K. S. (2007). Treatment of depression and mechanisms of change: Strengthening the links among theory, research, and practice. Clinical Psychology: Science and Practice, 14(3), 247–251.

    Google Scholar 

  • Henninger, M., & Wyer, R. S. (1976). The recognition and elimination of inconsistencies among syllogistically related beliefs: Some new light on the Socratic effect. Journal of Personality and Social Psychology, 34(4), 680–693.

    Article  Google Scholar 

  • Hodgetts, A., & Wright, J. (2007). Researching clients’ experiences: A review of qualitative studies. Clinical Psychology & Psychotherapy, 14(3), 157–163.

    Article  Google Scholar 

  • Hoffart, A., Versland, S., & Sexton, H. (2002). Self-understanding, empathy, guided discovery, and schema belief in schema-focused cognitive therapy of personality problems: A process–outcome study. Cognitive Therapy and Research, 26(2), 199–219.

    Article  Google Scholar 

  • Hofmann, S. G., & Smits, J. A. (2008). Cognitive–behavioral therapy for adult anxiety disorders: A meta-analysis of randomized placebo-controlled trials. The Journal of Clinical Psychiatry, 69(4), 621–632.

    Article  PubMed Central  PubMed  Google Scholar 

  • Horvath, A. O., & Greenberg, L. S. (Eds.). (1994). The working alliance: Theory, research, and practice (Vol. 173). New Jersey: Wiley.

    Google Scholar 

  • James, I. A., Morse, R., & Howarth, A. (2010). The science and art of asking questions in cognitive therapy. Behavioural and Cognitive Psychotherapy, 38(01), 83–93.

    Article  PubMed  Google Scholar 

  • Jarrett, R. B., Vittengl, J. R., Doyle, K., & Clark, L. A. (2007). Changes in cognitive content during and following cognitive therapy for recurrent depression: Substantial and enduring, but not predictive of change in depressive symptoms. Journal of Consulting and Clinical Psychology, 75(3), 432–446.

    Article  PubMed Central  PubMed  Google Scholar 

  • Kardes, F. R., Cronley, M. L., Pontes, M. C., & Houghton, D. C. (2001). Down the garden path: The role of conditional inference processes in self-persuasion. Journal of Consumer Psychology, 11(3), 159–168.

    Article  Google Scholar 

  • Kazantzis, N., Fairburn, C. G., Padesky, C. A., Reinecke, M., & Teesson, M. (2014). Unresolved issues regarding the research and practice of cognitive behavior therapy: The case of guided discovery using Socratic questioning. Behaviour Change, 31(01), 1–17.

    Article  Google Scholar 

  • Keijsers, G. P. J., Schaap, C. P. D. R., & Hoogduin, C. A. L. (2000). The impact of interpersonal patient and therapist behavior on outcome in cognitive–behavior therapy a review of empirical studies. Behavior Modification, 24(2), 264–297.

    Article  CAS  PubMed  Google Scholar 

  • Keijsers, G. P., Schaap, C. P., Hoogduin, C. A., & Lammers, M. W. (1995). Patient-therapist interaction in the behavioral treatment of panic disorder with agoraphobia. Behavior Modification, 19(4), 491–517.

    Article  CAS  PubMed  Google Scholar 

  • Kennerley, H. (2007). Socratic method. Oxford, England: Oxford Cognitive Therapy Centre Essential Guides.

    Google Scholar 

  • Lambert, M. J., & Barley, D. E. (2001). Research summary on the therapeutic relationship and psychotherapy outcome. Psychotherapy: Theory, Research, Practice Training, 38(4), 357–361.

    Article  Google Scholar 

  • Lengenfelder, J., Chiaravalloti, N. D., & DeLuca, J. (2007). The efficacy of the generation effect in improving new learning in persons with traumatic brain injury. Rehabilitation Psychology, 52(3), 290–296.

    Article  Google Scholar 

  • Lieberman, M. D. (2007). Social cognitive neuroscience: A review of core processes. Annual Review of Psychology, 58, 259–289.

    Article  PubMed  Google Scholar 

  • Liness, S., & Muston, J. (2011). National curriculum for high intensity cognitive behavioural therapy courses. Department of Health. Retrieved from http://www.iapt.nhs.uk/.

  • Longmore, R. J., & Worrell, M. (2007). Do we need to challenge thoughts in cognitive behavioral therapy? Clinical Psychology Review, 27, 173–187.

    Article  PubMed  Google Scholar 

  • Longshore, D., Grills, C., & Annon, K. (1999). Effects of a culturally congruent intervention on cognitive factors related to drug-use recovery. Substance Use and Misuse, 34(9), 1223–1241.

    Article  CAS  PubMed  Google Scholar 

  • Mason, J. (2011). Cognitive engagement and questioning online. Education in a technological world: communicating current and emerging research and technological efforts. Formatex, Badajoz, Spain.

  • McManus, F., Peerbhoy, D., Larkin, M., & Clark, D. M. (2010). Learning to change a way of being: An interpretative phenomenological perspective on cognitive therapy for social phobia. Journal of Anxiety Disorders, 24(6), 581–589.

    Article  PubMed Central  PubMed  Google Scholar 

  • McManus, F., Van Doorn, K., & Yiend, J. (2012). Examining the effects of thought records and behavioral experiments in instigating belief change. Journal of Behavior Therapy and Experimental Psychiatry, 43(1), 540–547.

    Article  CAS  PubMed  Google Scholar 

  • McMillan, J. H. (1987). Enhancing college students’ critical thinking: A review of studies. Research in Higher Education, 26(1), 3–29.

    Article  Google Scholar 

  • Miller, W. R., Benefield, R. G., & Tonigan, J. S. (1993). Enhancing motivation for change in problem drinking: A controlled comparison of two therapist styles. Journal of Consulting and Clinical Psychology, 61(3), 455.

    Article  CAS  PubMed  Google Scholar 

  • Miller, W. R., & Rollnick, S. (2009). Ten things that motivational interviewing is not. Behavioural and Cognitive Psychotherapy, 37(02), 129–140.

    Article  PubMed  Google Scholar 

  • Naeem, F., Phiri, P., Rathod, S., & Kingdon, D. (2010). Using CBT with diverse patients: Working with South Asian Muslims. In M. Mueller, H. Kennerley, F. McManus, & D. Westbrook (Eds.), Oxford guide to surviving as a CBT therapist. Oxford: Oxford University Press.

    Google Scholar 

  • Neenan, M. (2009). Using Socratic questioning in coaching. Journal of Rational-Emotive & Cognitive–Behavior Therapy, 27(4), 249–264.

    Article  Google Scholar 

  • Neimeyer, R. A., Kazantzis, N., Kassler, D. M., Baker, K. D., & Fletcher, R. (2008). Group cognitive behavioural therapy for depression outcomes predicted by willingness to engage in homework, compliance with homework, and cognitive restructuring skill acquisition. Cognitive Behaviour Therapy, 37(4), 199–215.

    Article  PubMed  Google Scholar 

  • NICE. (2013). Clinical Guideline 159: Social anxiety disorder: recognition, assessment and treatment. London: National Institute for clinical excellence. www.nice.org.uk.

  • Overholser, J. C. (1987). Facilitating autonomy in passive-dependent persons: An integrative model. Journal of Contemporary Psychotherapy, 17(4), 250–269.

    Article  Google Scholar 

  • Overholser, J. C. (1993a). Elements of the Socratic method: I. Systematic questioning. Psychotherapy: Theory, Research, Practice Training, 30(1), 67–74.

    Article  Google Scholar 

  • Overholser, J. C. (1993b). Elements of the Socratic method: II. Inductive reasoning. Psychotherapy: Theory, Research, Practice Training, 30(1), 75–85.

    Article  Google Scholar 

  • Overholser, J. C. (1994). Elements of the Socratic method: III. Universal definitions. Psychotherapy: Theory, Research, Practice Training, 31(2), 286–293.

    Article  Google Scholar 

  • Overholser, J. C. (2011). Collaborative empiricism, guided discovery, and the Socratic method: Core processes for effective cognitive therapy. Clinical Psychology: Science and Practice, 18(1), 62–66.

    Google Scholar 

  • Padesky, C. A. (1993). Socratic questioning: Changing minds or guiding discovery. Paper presented at the A keynote address delivered at the European Congress of Behavioural and Cognitive Therapies, London.

  • Padesky, C. A., & Beck, A. T. (2003). Science and philosophy: Comparison of cognitive therapy and rational emotive behavior therapy. Journal of Cognitive Psychotherapy, 17(3), 211–224.

    Article  Google Scholar 

  • Rachman, S. (1997). The evolution of CBT. In D. M. Clark & C. Fairburn (Eds.), The science and practice of CBT (pp. 3–26). Oxford: Oxford University Press.

    Google Scholar 

  • Rakovshik, S. G., & McManus, F. (2010). Establishing evidence-based training in cognitive behavioral therapy: A review of current empirical findings and theoretical guidance. Clinical Psychology Review, 30(5), 496–516.

    Article  PubMed  Google Scholar 

  • Raue, P., Castonguay, L., & Goldfried, M. (1993). The working alliance: A comparison of two therapies. Psychotherapy Research, 3(3), 197–207.

    Article  Google Scholar 

  • Robichaud, M., & Dugas, M. J. (2006). A cognitive-behavioral treatment targeting intolerance of uncertainty. In Worry and its psychological disorders: Theory, assessment and treatment (pp. 289–304). Chichester: Wiley.

    Chapter  Google Scholar 

  • Rosé, C. P., Moore, J. D., VanLehn, K., & Allbritton, D. (2001). A comparative evaluation of socratic versus didactic tutoring. Proceedings of the 23rd Annual Conference of the Cognitive Sciences Society, Edinburgh, Scotland, UK (pp. 869–874).

  • Roth, A. D., & Pilling, S. (2007). The competences required to deliver effective cognitive and behavioural therapy for people with depression and with anxiety disorders. London: HMSO, Department of Health.

    Google Scholar 

  • Ryan, R. M., & Deci, E. L. (2000). Self-determination theory and the facilitation of intrinsic motivation, social development, and well-being. American Psychologist, 55(1), 68–78.

    Article  CAS  PubMed  Google Scholar 

  • Schmidt, N. B., Woolaway-Bickel, K., Trakowski, J., Santiago, H., Storey, J., Koselka, M., & Cook, J. (2000). Dismantling cognitive–behavioral treatment for panic disorder: Questioning the utility of breathing retraining. Journal of Consulting and Clinical Psychology, 68(3), 417–424.

    Article  CAS  PubMed  Google Scholar 

  • Shaw, B. F., Elkin, I., Yamaguchi, J., Olmsted, M., Vallis, T. M., Dobson, K. S., & Imber, S. D. (1999). Therapist competence ratings in relation to clinical outcome in cognitive therapy of depression. Journal of Consulting and Clinical Psychology, 67(6), 837–846.

    Article  CAS  PubMed  Google Scholar 

  • Siemonsma, P. C., Stuive, I., Roorda, L. D., Vollebregt, J. A., Walker, M. F., Lankhorst, G. J., & Lettinga, A. T. (2013). Cognitive treatment of illness perceptions in patients with chronic low back pain: A randomized controlled trial. Physical Therapy, 93(4), 435–448.

    Article  PubMed  Google Scholar 

  • Slamecka, N. J., & Graf, P. (1978). The generation effect: Delineation of a phenomenon. Journal of Experimental Psychology: Human Learning and Memory, 4(6), 592–604.

    Google Scholar 

  • Strunk, D. R., Brotman, M. A., DeRubeis, R. J., & Hollon, S. D. (2010). Therapist competence in cognitive therapy for depression: predicting subsequent symptom change. Journal of Consulting and Clinical Psychology, 78(3), 429–437.

    Article  PubMed Central  PubMed  Google Scholar 

  • Teasdale, J. D. (1993). Emotion and two kinds of meaning: Cognitive therapy and applied cognitive science. Behaviour Research and Therapy, 31(4), 339–354.

    Article  CAS  PubMed  Google Scholar 

  • Teasdale, J. D. (1996). Clinically relevant theory: Integrating clinical insight with cognitive science. In P. M. Salkovskis (Ed.), Frontiers of cognitive therapy (pp. 26–47). New York: Guilford Press.

    Google Scholar 

  • Teasdale, J. D., Taylor, M. J., Cooper, Z., Hayhurst, H., & Paykel, E. S. (1995). Depressive thinking: Shifts in construct accessibility or in schematic mental models? Journal of Abnormal Psychology, 104(3), 500–507.

    Article  CAS  PubMed  Google Scholar 

  • Trepka, C., Rees, A., Shapiro, D. A., Hardy, G. E., & Barkham, M. (2004). Therapist competence and outcome of cognitive therapy for depression. Cognitive Therapy and Research, 28(2), 143–157.

    Article  Google Scholar 

  • Veale, D. (2008). Behavioural activation for depression. Advances in Psychiatric Treatment, 14(1), 29–36.

    Article  Google Scholar 

  • Wells, A. (1997). Cognitive therapy of anxiety disorders: A practice manual and conceptual guide. New Jersey: Wiley.

    Google Scholar 

  • Westbrook, D., Kennerley, H., & Kirk, J. (2011). An introduction to cognitive behaviour therapy: Skills & applications. London: SAGE.

    Google Scholar 

  • Williams, K. E., & Chambless, D. L. (1990). The relationship between therapist characteristics and outcome of in vivo exposure treatment for agoraphobia. Behaviour Therapy, 21, 111–116.

    Article  Google Scholar 

  • Yang, Y. T. C., Newby, T. J., & Bill, R. L. (2005). Using Socratic questioning to promote critical thinking skills through asynchronous discussion forums in distance learning environments. The American Journal of Distance Education, 19(3), 163–181.

    Article  Google Scholar 

  • Yengin, I., & Karahoca, A. (2012). What is Socratic method? The analysis of Socratic method through self determination theory and unified learning model. Global Journal on Technology, 2, 357–365.

    Google Scholar 

  • Young, J. (1990). Cognitive therapy for personality disorders: A schema-focused approach. Sarasota, FL: Professional Resource Exchange.

    Google Scholar 

  • Young, J., & Beck, A. (1980). Cognitive therapy scale: rating manual. Unpublished Manuscript.

Download references

Author information

Authors and Affiliations

  1. School of Behavioural, Cognitive and Social Sciences, University of New England, Armidale, NSW, 2351, Australia

    Gavin I. Clark

  2. School of Psychology and Speech Pathology, Curtin University, Perth, Australia

    Sarah J. Egan

Authors
  1. Gavin I. Clark
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Sarah J. Egan
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Gavin I. Clark.

Ethics declarations

Conflict of Interest

Gavin I. Clark and Sarah J. Egan declare that they have no conflict of interest.

Informed Consent

All procedures followed were in accordance with the ethical standards of the responsible committee on human experimentation (national and institutional).

Animal Rights

No animals were used in the present study.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Clark, G.I., Egan, S.J. The Socratic Method in Cognitive Behavioural Therapy: A Narrative Review. Cogn Ther Res 39, 863–879 (2015). https://doi.org/10.1007/s10608-015-9707-3

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10608-015-9707-3

Keywords

Search

Navigation