concrete BackwardSwa of Backward = CatSwa ** open ResSwa in {

  
}