A consistency check that cannot adjudicate between 'green' and 'grue' projections provides no genuin...