PF-NF inferred