things

things proper_subset possibly better?