Black Jack Counter Example from HFC book