for x, y being object holds <%x%> +~ (x,y) = <%y%>