Analysis of the Portsmouth Theatre dilemma