a simple specification