I'm not sure, but I think Erik's proposal is virtually identical to the Encoded-Variable scheme, with a few minor differences. -- Nathaniel