symbol:logic:paragraphs