 Kant’s search for conceptual containments is confined to those that he might be able to find among just the explicit constituents of the proposition concerned, unmediated by any connections with related concepts that do not themselves occur within the proposition. (We note this in anticipation of a contrast to be made in due course with Frege’s modification of Kant’s conception of analytic  truth.)[3]  For Kant, the a priori character of arithmetical truth derives not from conceptual containments (within the proposition in question), but from the pure form of our intuition of time, as affording an unbounded series of successive moments. According to Michael Friedman, Kant held that 