Tag: EC assertion disproven