incremental progress on specification