Any function defined on a spread in Brouwer's sense must be determined by finite initial segments of...