Verifies