with Wany (PUF PDB)