`at JSON` -> `as JSON`