Or even Min[0] which was on here a few months back.

  [0]: https://news.ycombinator.com/item?id=11484770