Analytic Judgments Are Knowable, a Priori, a Posteriori Synthetic, a Posteriori Synthetic

Kant divides judgments into two forms, either they're analytic or they're synthetic. An analytic judgment is to say that the predicate is already contained in the subject and so there's nothing added; you can do it without having any experience. A synthetic judgment would be something like, I don't know, two equals two,. That's just an analytic judgment, right? There are four categories of judgments: a priori analytic, a priori synthetic, a posteriori analytic, an apostoriori synthetic.