source plogdiff exercises
source plogdiff contradiction

