Verifies ++