Or post a clickable link here in the thread? Explaining the code might be an opportunity to create a rough draft of something more polished. A bit of background on Maude might be nice too. Save readers from Googling and maybe help people understand why it was used. All things that tend to be &quot;intellectually interesting.&quot;<p>Anyway, I was a bit philosophically torn since the content tends toward mathematical&#x2F;algorithmic and made me wonder what does it mean to play around with mathematics&#x2F;algorithms?