[defns.expression-equivalent]