Man tror , att detta kommer att lyda sålunda: