3 Var x0 has 2 states (possible values).
6 VarSet {x0,x1} has 6 states (joint assignments of its variables).
8 States of VarSets correspond to states of their constituent Vars:
9 state of x0: state of x1: state of X:
18 state of x0: state of x1: state of X: