 In passing, they made the observation that since the validity of the first welfare theorem implied that there could be no sunspot equilibria, a necessary condition for the existence of such equilibria was a violation of the conditions under which the first welfare theorem holds.This observation took on a life of its own as what Shell called the Philadelphia Pholk theorem