Tests and logic for creating terms