I don't see a real need for messages on these asserts. I think the code says it well enough here.