non-decreasing->increasing in bigUnion comment