Step through the state graphs the PLT Redex tree spec explores: pick what happens next and see where each message's address leads as the tree changes.