The proposal is that mining would get easier the more time that passes with no blocks found.  So when a miner submits a reduced difficulty block how do you verify that "enough" time has passed.   Of course if you had provable decentralized timestamps you wouldn't need mining to begin with.  Just check the timestamp of transactions and the first one is valid and the second is invalid.