`proof SNAS and PAPER are ness | ScratchStats