System requirements

This is a test reference to another chapter: Lemma Navigator