Definition of "verifies"