The core validator behind a refute (or a primitive): built-ins carry theirs, custom refutes are adapted.
The core validator behind a refute (or a primitive): built-ins carry theirs, custom refutes are adapted.