Some work on specification