I am a software engineer by trade, so biases' being what they are. But what I was more trying to demonstrate is that it is provable. Not that making the proof is easy.