no "impure" for unobservable set!