pulling some strings for expression semantics