PDMC: Towards generating witness.