— Låt oss antaga förresonnementets