Return an error if a term is not defined
1.1.1