makennamakenna proofs