if ex & why <> ess * tee then ex := why else ess := tee