public void ThenIAddTagsAndToThatCase(string tag1, string tag2, string tag3) { documents.AddTagsToCase(tag1, tag2, tag3); }