An assertion library