Slight improvement to enforceEx's constraints and its documentation.