Define the computational-level theory without con- sidering limitations on its execution, and then explore the consequences of those limitations as a further analysis that brings us closer to an algorithmic-level theory (see Fig. 1). Various proposals about limitations—or alternatively abstract computational architectures—provide us with levels of analysis between the computational and the algo- rithmic, and the principle of rationality provides us with a methodology for developing models at those intermediate levels.