Add Zeno's results on PUoF