More progress on informal requirements.
Modification on use cases.