 Since it has already been shown that composing syntheses generally must feature the categories, the claim is that we can infer that the categories structure our representation of space, and by parallel argument, our representation of time, and, moreover (in accord with Kant’s idealism), that they structure space and time themselves, together with the spatial and temporal features of objects in space and time. This allows us to see that the categories correctly apply to objects in space and time, and to see that they do so from how they structure our representations of space and time, and space and time themselves. This would secure the generally agreed-upon objective of the second step: to show how it is that the categories are related to objects of intuition and thus of experience in such a way as to demonstrate that they correctly apply to them.