 Anil Gomes (2010) proposes a more precise hypothesis for what is missing in the first step that is addressed by the second step. Gomes first appeals to a problem James van Cleve (1999) raises for the Transcendental Deduction. Even if Kant succeeds in showing that synthesis involves judging, and that judging involves the application of the categories.