Under detta antagande ,"