Intuitionism, espoused in modern times in one form or a nother hy Poincare, Brouwer, Weyl, and others, countenances the use of bound variables to refer to abstract entities only when those entities arc capable of heing cooked up individually from ingredients specified in advance.