That Asimov proof is neat. I've never seen it before. Congrats!