Hacker News new | ask | show | jobs
by throwaway91111 3266 days ago
As a whole, you are correct. Pragmatically it allows defining the boundaries of soundness.