more correct intro to finiti field EC