refined specifications