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