Losted proofs by MikroThor