Trying to recall a Lambek story about Brouwer