test assertions