Validation primitives.