※ 引述《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