 The theories we have described so far are criticized by some constructive mathematicians for allowing an unrestricted power set operation. A weaker system CZF (constructive ZF has been proposed which does not have this operation (and which has the same level of strength as the weak set theory KPU without Power Set described earlier).