Definition for reaching definition