Before revision: The argument takes the form of a syllogism modus tollens: Premise 1: If X is (analytically equivalent to) good , then the question "Is it true that X is good?"
After revision: The argument takes the form of a syllogism modus tollens: Premise 1: If X is good by definition , then the question "Is it true that X is good?"