Vpk tpk f | a yfj * pp f | a.