Category:Universal Class is Proper