satisfying detector | ScratchStats