well-defined specs, good!