Additional asserts.