Given a requirement to enforce business rules and reject bad input early, identify the Validation module (is/isNot, all/any, isNotNull, isNumber, etc.) as the idiomatic way to assert conditions and raise VALIDATION errors.