Hacker News new | ask | show | jobs
by coldtea 3347 days ago
Which is also a valid use case.

Though the one I listed is the first lemma.