Names and Signs for Logical Lonnectives | Hacker News Reader