What operations do you think Brouwer had in mind? -- Good question. Would these operations be non-symbolic? And, if symbolic, would they be in some language other than the language of mathematics? M.J.Murphy