Låt oss tills vidare antaga allt detta,