added xIsSubset