Comment by orbital-decay

The next logical step is to express execution graphs in a formalized language.