Hacker News new | ask | show | jobs
by 1970-01-01 1241 days ago
Soundness implies validity, but validity does not imply soundness.