vacuous demonic choice is OK