Gundersen, L. The Master Argument and Branching Time. LLP 2003, 5, 49-60.