“Either” of the pencils will do.