Please provide your abstraction in JSON format.
