An introduction to pdcpd by D. Vervacke