Proper Mathematics