Proof waev is weak | ScratchStats