	@Test
	public void testUnsaturatedAdd() {

		for(int i : TEST_BOUNDS) {
			BoundedSetFactory<String> bsf = new BoundedSetFactory<String>(i);
			BoundedSet<String> bs = boundedSet(bsf,0,i-1);
			String t = getElement(i-1);
			bs.add(t);
			assert(bs.isSaturated() == false);
			assert(bs.getSize() == i);
			assert(! bsf.top().equals(bs));						
		}		
	}