{"articles":{"implication-connective@logic":{"content":"","names":[[["Implication connective",""]]]}},"style":"Notion"}