Separating Logic and Language | Dark Hacker News