Det första lyder sålunda: