Rewrite constraints The Right Way
Uniformity