I have some PRs marked as please-adopt here, here, and here, If you complete these lemmas and get the PRs merged, I will give you 1000 Mana.