Louis sent me this research paper to give you and idea of how Microsoft spends their R&D money... http://research.microsoft.com/users/lamport/pubs/celebrity.pdf