Jessica Kerr introduces property based testing and its difficulties over example based testing using an example based on the prisoner’s dilemma. She outlines some key points of PBT that can be translated to example based testing and business code, as well as some common properties.