verifies