begin spec'ing the validator