However, he takes the specific connection, the relational concepts, and the synthetic principles, from formal logic as given; the deduction of these should have been the exposition of the transition of that simple unity of self consciousness into these determinations and distinctions; but Kant spared himself the effort of demonstrating this truly synthetic progression, that of the self producing concept