Definition of Veritas Nominis Tollit Errorem Demonstrationis