Documenting the tactic-in-term construction.