Initial work on the assertion library.