The bar theorem and fan theorem, central to Brouwer's own mathematical practice, collectively enforc...