expression reification