証跡を再利用する依存閉包は、完全性を証明できない入力を広いスコープへ倒す / PaPut