If someone does a convert this headline to a mathematical proof tool I'll die happy.