State And Logic Traversal, for today's infinite-application