Petronko, M. R. Commentary -- Towards Formalizing a Very Promising Treatment. PCSP 2005, 1.