Now that in `mappingJson` the `JsValue`s are filtered, this seems no longer applicable.