9 5 we give a general definition of what can be a routing function