IIRC, this guy talked to alan and glyph at IPC10 about python syntax for XML, and maybe other stuff too. He has a lot of cool, crazy ideas :) Anyway, this testing framework sounded interesting - he talked about it a bit at europython: http://sc-archive.codesourcery.com/entries/test/ProofChamber/ProofChamber.html