ImandrA basic concepts

ImandrA uses some basic concepts and features that you need to understand before progressing with this guide. Many of the terms described here will be used widely in the rest of this guide, so please take the time to read this section, and make sure you understand it before progressing.