Hi @kilvish ! I would greatly appreciate an invite!

My proofs can be linked via PM.