I'd like to see a test that illustrates the difference between Subset and ProperSubset (i.e., one that would pass in the former and fail in the latter).