verifies*