Working draft. The text and tools are still being checked, and corrections are welcome.