The part starting with "The literal..." can be omitted as it is specified below.