@contrabourdon: The specification