Fixed < to use ProperSubset