De äro så formulerade,