Formally, the orthodox rational agent’s “Olympian” choices, as Simon has called orthodox rational choice, are made in a static framework. However, a formalization of consistent choice, underpinned by computability, suggests by, satisficing in a boundedly rational framework is not only more general than the model of “Olympian” rationality, it is also consistently dynamic. This kind of naturally ...