No independence of irrelevant alternatives (picture proof) — AI Alignment Forum