This addition to the Nicene, or rather the Constantinopolitan creed, was first made in the eighth council of Toledo, A.D. 653; but it was expressive of the popular doctrine (Gerard Vossius, tom. vi. p. 527, de tribus Symbolis).