Good luck with your exams, and have a great holiday!
1. var newSet := otherSet -> Subset (Globals.TrueFunction) 2. var newSet := otherSetAnswer: These are two very different things. (2) just copies a pointer, so that newSet and otherSet become aliases for each other. Thus, if you change newSet, you also change otherSet (and vice versa). This is not what we want. (1) creates a whole new Set object, and copies appropriate info into it. Thus, if you change newSet, it has no effect on otherSet (or vice versa). This is what we want.