Same arguments as in [this comment](#discussion_r6122849).