Logical Optimizers — AI Alignment Forum