More exact specification