How I interpreted their thoughts on "loops" and "graphs" etc, is that they 1. have unlimited token allowances, and 2. are working on problems where the solution

How I interpreted their thoughts on "loops" and "graphs" etc, is that they 1. have unlimited token allowances, and 2. are working on problems where the solution itself can be described by code. It reminds me of property based testing. I really liked the idea when I heard about it, but most of what I work on does not tend to behave in a way that can be easily described mathematically like that. Maybe I'm just not clever enough to do it.