O implies V