for a, b, c being object holds <*a,b,c*> = (1,2,3) --> (a,b,c)