As I was reading, I got confused about what \$$\mathcal X'\$$ refers to? Should \$$F: \mathcal X \to \mathcal X'\$$? Instead of \$$F: \mathcal X \to \mathcal Y\$$?