Binary overflow, set intersection and subsets.