Before revision:  (Most constraints known to be of practical use satisfy these restrictions.)
After revision:  (Most constraints known to be of practical use satisfy both restrictions.)