Signed assertions are implemented, but untested.