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

~~~~~~