should we provide a message for these assertions?