Can now (in theory) evaluate tactic. Need to test this for a particular instance.