Going through the examples of cpdt