Logical Pinpointing — AI Alignment Forum