Added a few helper functions for constructing terms