Jobst Heitzig comments on [Aspiration-based designs] 2. Formal framework, basic algorithm