This is the specification and test suite for the menu system.