Hacker News new | ask | show | jobs
by atemerev 402 days ago
Universal quantifiers are not useful in this discussion.