Preliminary enforce-constraints code.