The sense of an ab-function of p is a function of the sense of p.
18