Is a Universal Verification Framework possible? | Hacker News Reader