 For additional material on the fan theorem in constructive reverse mathematics, see, for example, Berger &amp; Bridges [2007]; Diener [2008, 2012]; Diener &amp; Loeb [2009]; and Diener &amp; Lubarsky [2014]. In Dent [2013], there is a clear, though complex, diagram illustrating the interconnections between fan theorems, continuity, and omniscience principles (see Other Internet Resources). 