Det lyder ordagrant sålunda: