Ment
Auto-translated
Actually, no, o(v) doesn't seem to be necessary. It's better to return to the bisector; if the ant changes direction, it will be easier for the spider, as the path will be shorter compared to the one it took when deviating from the bisector. This is how it will gain an advantage.