On Wed, Nov 10, 2010 at 3:01 PM, Jose P. Espinal wrote:
> Is that documented somewhere? (I could not find details in the ATFOT book)
I’m not sure if it is. I’ve already add some notes to a wiki page 
I am working on.