The above is also not a valid induction because it does not have a concept of 'successor': there is no order, not even partial order, defined over emeralds. As such, there is no "successor axiom" relating item n to item n+1.

I claim that the above example is in fact a deductive argument based on the following:

- Axiom 1: The Grue Axiom
- grue(A), for all A is true if:
- A was FIRST examined before January 1, 2003 AND is green. OR:
- A was not examined before January 1, 2003 AND is blue.

- Axiom 2:Premise of Grue's time-independance
- This is the axiom that grue(A) is a predicate that is time-independent.
- Axiom 3:Premise of Universalisability of predicates over emeralds
- This is the premise that all emeralds for are alike, so we may take a representative sample.

This third axiom is what Mr. Frog would refer to as the inductive step. Clearly, it makes no sense in this context to apply it? Why? Because we consider emeralds to have a temporally-defined property (Time of examination), yet we also require all emeralds to be the same. Clearly, all emeralds in our sample will have the same time of examination, yet we do not conclude that all emeralds are examined at that time (Because, for there to be any problem with believing all emeralds grue, we admit emeralds not examined at this earlier time). If the logic is to be sound, we must refuse to believe in the existence of emeralds examined at another time. Using this argument to show that "induction" is worthless is like my using the fact that my car doesn't drive well on lakes to show that cars are useless.