Låtom oss nu vidare antaga,