Algorithm 2 Construction of a Gadget DAG equivalent to Definition 4

Neural Information Processing Systems 

's DAG, and represents the possibility that there