looking up an identifier