@davidwees I'm not sure it's even correct pedantry: the second option is true, it just doesn't say anything about how they chose