Requirements specified