{"articles":{"soundness@logic":{"content":"","names":[[["Soundness",""]]]}},"style":"Notion"}