PFP-basic-statements