Example of the spec in a JSON format