Going on with specs refinment