forall (goes with exists)
remove cruft from subset