enforce Upper and Lower rules for proc