$ f ~ 1 § p x ~~ y ~ f ~ f.p $ g ~ 0 § p x ~~ y ~ g ~ g.p