x
Consequentialist Formal Systems — AI Alignment Forum