Date

In the year 3000, our libraries will come with verified-equivalent implementations of their APIs that users can use to unit test their code, when the normal implementation is inappropriate.

Our libraries will also have thorough documentation on how to unit test code that interacts with them.