Updated proper subset to new convention