added assert tactic