Comment by starry_dynamo

Seconded. My first experience with Tom7 was the "Super Mario Bros. is Easy with Lexicographic Orderings and Time Travel..." I've been hooked ever since.