The blog that used to be here is now at http://www.vellsv.com/2013/04/if.html.
Do you wish to be redirected?