We will find ways to remove choices until we can afford to manage among them. Most often we do this by withdrawing into systems of decidable size.