Of course they don't, and the assert just checks that because the signature can't guarantee it.