; Smart go to definition.