Strictly speaking, a substitution instance such as the formula φ(d) mentioned above is not a formula in the original formal language of φ, because d is an element of the domain.
嚴格來說，上面所敘之公式的置換實例φ(d) 並不是φ 原本所在這個形式語言中的公式，因為d 是論域中的元素。