Classification of non-free Kleinian groups generated by two parabolic transformations

We give a full proof to Agol's announcement on the classification of non-free Kleinian groups generated by two parabolic transformations.