proof a "crt filter" is easy to recreate | ScratchStats