 The Subset Collection scheme is powerful enough to allow the construction of the set of all functions from a set \(A\) to a set \(B\) as a set (which suggests that the classical version of this theory is as strong as ZF, since the existence of the set of functions from \(A\) to \(\{0, 1\}\) is classically as strong as the existence of the power set of \(A\), and strong collection should allow the proof of strong separation in a classical environment).