Proof for meep_a_deeper | ScratchStats