I don't know what "univalence of **Partitions**" means. I doubt the puzzles are proving that.