The ideas about "distinctions" on #31 by Prof. Ellerman (how nice to have him here to ask!) have since long looked intriguing to me, and puzzling. Hope the conversation happens to touch that.