  Indeed, this axiom can be made even more general. If \(\phi (a)\) is any statement (formula) in which a constant (name) \(a\) appears, and \(\phi (x)\) is the result of replacing one or more occurrences of \(a\) by \(x\), then the following is a logical axiom: