That must have been one hell of a demo:
http://www.reddit.com/r/Python/comments/1n72bm/microsoft_don...
> Basically the PTVS team did a demo of IPython for Microsoft Research big cheeses and asked them to consider donating (used Z3Py theorem prover for the demo). At the end of the hour they were ready to cut the check.