When applied to a list of tactics [T1; ... ;Tn], and a goal g, the tactical
EVERY applies each tactic in sequence to every
subgoal generated by the previous one. This can be represented as:
If the tactic list is empty, the resulting tactic has no effect.
EVERY [T1;...;Tn] = T1 THEN ... THEN Tn