If the top two rows of operations are composed first (puts an upward parenthesis at the (ab)c\ \ d line; does the inner composition first), the following results: .
which then evaluates unambiguously to yield a 4-ary operation: .