basilisk-in-a-box problem