semicounterarch
not defined yet