No, you're right -- the JSON-serializable definition is much more succinct, and accurate