abstract AllRonAbs =
  Lang, Extend
  ** {} ;