※ 引述《gun740201 (孤独地拥抱了真实 )》之铭言：
: 可以请问一下
: 每个gate 的watching-0,watching-1,watching-known真正的定义是什么吗?
: 看了作业和投影片的几个case 每次都以为搞懂了
: 但是总是会发生无法解释的counter example
: 所以想要知道最原本的定义
1. The data structure "watching-v" in a gate 'g' is a list of gates.
2. When 'g' is implied to value v (i.e. x