Restated lfp reachability with small steps. TODO: timestamps.