If KKp does not follow from Kp, then the infinite regress in D3 imposes strictly stronger conditions...