infallible ......... infallible proofs 5039 -tekmerion->
~~~~~~