Den sistnämda lyder sålunda: