X explanation, ECC bit explanation, and fix in weaker assumptions