gwern comments on Taking the awkwardness out of a Prenup—A Game Theoretic solution