Hey @SpaceKriek if you can send me across your proofs I will take a look.