Can you expand on the above?
From the expression, it seems that 'pos_from' would be a function which would have a method of its own, called 'to'?