This section is the main reference for Kani. It contains sections that informally describe its main features.