Den senare lyder , förkortad , som följer: