Progress with the penultimate main theorem about nested action graphs.