Under detta antagande ",