Added comment to Mark Seeman's blog on Functional Solid.