proof griffpatch uses f4f | ScratchStats