I agree, unironically. Not all workplace tensions can be resolved amicably. Often the only solution is for one of the parties to go. The sooner it happens, the better.