2.2.8. Term.hpp