A retirement system verifies that the field for employee status has either a value of A (for active) or R (for retired). This is an example of which type of check?