Antag att de sade: