 We stress that we restrict ourselves here to informal CRM, in which we take for granted the principles of function- and set-construction described in the first chapters of Bishop [1967] or Bishop &amp; Bridges [1985], and we work in the informal, though rigorous, style of the practising analyst, algebraist, topologist, … . 