Brouwer's intuitionist program produced substantial, non-trivial mathematics—including the Fan Theor...