Refined requirments
Grammar and extended introduction