Elimination of rivals through formal rather than empirical means establishes logical consistency, no...