“There is no reason to suppose ahead of time that the principles satisfactory for the basic structure hold for all cases.”