@tito @julesh @noamzoam Thank you for this reference.It is described as "a 'tentative' proof of P-completeness". I don't know why.