Such instantiation is allowable, certainly, in extensional logic; but it is a question of good behavior constant singular terms, and we have lately ob served that such behavior is not to be counted on when there is a nec' in the woodpile.