Re: [math-fun] NP super-problems