Alon Harel (Hebrew U) and Alon Klement (Tel-Aviv U) propose a solution: Download Separating substance from procedure (1) (003)
Reader comments on their proposal are welcome from interested readers. Signed comments (full name, valid e-mail address) will be strongly preferred.