Glossary moved to /theory/.