 However, we do not know if either of these implications can be replaced by a bi-implication. Perhaps UCT\(_{[0,1]}\), and hence the full uniform continuity theorem for compact metric spaces, is equivalent, relative to BISH, to some natural, but as yet unidentified, version of the fan theorem. 