The verificationist defense of Kant's refutation of idealism is a specimen of the reconstructive work that needs to be done in evaluating Kant's transcendental philosophy. It is necessary to proceed piecemeal in the critical examination of each of Kant's arguments, fitting it to the proposed indirect proof model, and rethinking its soundness or unsoundness. There may be few conclusions that can stand just as they are. The justification of Kant's transcendental proof that there are unknowable things in themselves establishes an important first step in this continuing inquiry.