Added utility functions, changing around Term