added simple specification