Wherein I distinguish satisficing from other strategies that it might be rational for a "global optimizer" to employ.
See Michael Byron's response. Link below.
See also Anthony Laden's work on what I would call a theory of reflective rationality. Link below.