for a, b, c, d, e, f being object holds dom {[a,b],[c,d],[e,f]} = {a,c,e}