phrase(pair(a, b), "ab").
phrase(delegate("xy"), "xy").
phrase(via_call(z), "z").