We are actually using a slightly modified definition of these functions (compared to the one presented in
[
109
]
) which was
considered in
[
58
]
.