add an atrociously painful proof