Vi antaga för exemplets skull ,att