added p-complete examples
some explanation