generalized union "unionWithConv" added