working on the $witness tactic -- started head reduction