infallible 5039 ** tekmerion ** {infallible} proof.
~~~~~~