Så som det nu antagits,