[Aspiration-based designs] 2. Formal framework, basic algorithm — AI Alignment Forum