assertion on manhattan and hamming