concrete RelativeTur of Relative = CatTur ** open ResTur in {

  
}