found example p14 where we really need to check wf in looked up env
need to fix extend-wf-pev now