Grue, Bleen, and natural categories — AI Alignment Forum