Definition:Proper Class