working on tactic $witness