  The separability problem is solved because if we examine X qua Y, we will talk about Y as if it is a separate entity, as a subject, and will pay no attention to the way in which we captured Y through a description ‘X’, in the sense that only the residue of the qua-filter are studied. The science will speak of Y. This too will not interfere with mathematical practice and so will not violate non-revisionism.