void setSelectionSubset(BitSet bs) {

		// for informational purposes only
		// the real copy is in Eval so that eval operations
		// can all use it directly, and so that all these
		// operations still work properly on the full set of atoms

		bsSubset = bs;
	}