pedanterrific comments on BHTV: Eliezer Yudkowsky & Razib Khan