proof arcade is too easy