This is mainly about formulæ and concepts.