finished everything but powersets and perms