Detta under antagande , att hrCarlson