What with `Valid` constraint?