This test case requires assertions