WYCS: working on putting back bounded sets (again).