Det sistnämnda lyder sålunda: