Sept. 22, 2011
8:13 p.m.
I'd concur with Paul Eggert and suggest forego building a theory for this. This is a clear once-only case, and should be discussed as such, I think. -Yury On 09/22/2011 10:45 PM, Tobias Conradi wrote:
The proposal EEFT keeps the EE of EET and EEST. It is also more in line with existing naming rules in the Theory file, quoting Theory: ...