On 07/12/2012 03:10 PM, Paul Tarau wrote: > - only syntactically valid terms are encoded / decoded > Not to be overly picky, but mightn't one want the theory in question to prove, even to decide, such questions as: Is such-and-such well-formed? Richard