More work on specs