- Given a state variable, will map out all the paths to modifying it - Can do recursive things to figure out what wirings or policies are upstream from it
