Introduced 'evaluate' into 'with-semantics'