This doesn't seem like a super useful assertion