可达图：reachability graph
可达鸭：reachability duck