http://yurt.hampshire.edu:443/streams/2009/CoqTalk/Coq%20Talk%201-9.mp3