3.2.9. Term.hpp