, f lugna pmf^ae