oops, how did I forget the empty set?