stop lying about contains being more efficient
complete the set with a pending subtraction feature and a whole bunch new rewrite rules