a first version of the union (to test!)