Låtom oss antaga ;att