Split these into two asserts.