- = {(w,g[x->a])}[closet(x)][◊guilty(x)]
- ++ {(w,g[x->b])}[closet(x)][◊guilty(x)]
- ++ {(w,g[x->c])}[closet(x)][◊guilty(x)]
- ++ {(w',g[x->a])}[closet(x)][◊guilty(x)]
- ++ {(w',g[x->b])}[closet(x)][◊guilty(x)]
- ++ {(w',g[x->c])}[closet(x)][◊guilty(x)]
+ = {(w,g[x->a]), (w',g[x->a])}[closet(x)][◊guilty(x)]
+ ++ {(w,g[x->b]), (w',g[x->b])}[closet(x)][◊guilty(x)]
+ ++ {(w,g[x->c]), (w',g[x->c])}[closet(x)][◊guilty(x)]