We should consider how to test this database so that we can be sure that changes aren't breaking the correctness of the database.