PL-WFF c= HP-WFF