Låt oss antaga ,atr