More work on the Requirements section