Library for testing things you expect to always be satisfied.