idem
CS -> S
wip on trying to change xt-env to ensure that if any other env is wf for that h, then xt-env also is wf.