What is a proper class