Understanding the NEC4 ECC Contract