Introduction to Lay in PF