MugaSofer comments on Digging the Bull’s Horn