missing quote
expression specs
bound function
simplify
function sameTerm