Circumscription: a logical farce | Hacker News Reader