Helper functions in PF