Posted:

**Apr 18, 2017 2:55 pm**In formal verification, where you build unhackable systems by presenting a mathematical proof that your system is as secure as mathematics itself, there is a well-known concept called "Pollack-consistency." A Pollack-inconsistency is a proof that's presented, but you did something like fuck up the theorem display code so that it makes out that you proved something you didn't.

Out-of-the-box, HTTPs is Pollack inconsistent.

Out-of-the-box, HTTPs is Pollack inconsistent.