adding Assumption tactic.