What's NEXT?

The proof is in the program.