syntax in spec