rewrite subset II