 If \(?\) denotes a property of subsets of \(2^*\), then Brouwer’s fan theorem for \(?\)-bars tells us that every bar with the property \(?\) is a uniform bar. We are particularly interested in the fan theorem for detachable bars (already discussed in Section 3.1):