http://fairlyadept.com/?http://livinmicro.blogspot.com/2018/01/proof-does-not-rely-upon-trust-but-might.html