refined refs on expr8