"Universal Elimination" . "instantiation" . . . "Universal instantiation" . . . "implies" . . . "Universal instantiation" . "universal instantiation" . . . . . "Universal Instantiation" . "instantiate" .