Hey @xanklet ping me across your proofs and ill take a look.