for A being set holds underlay (CatSign A) = A