abstract AllBelAbs =
  Lang
  ** {}