Requirements, example