Title: The Post-Nup Solution Lib/E