  We discuss possibility of upper-bounding dimension of quantum states
device-independently. Provided that the states are pure, it is possible to
generate certain four states whose dimension is bounded by two.
