9.10.
DBSC Proof JWT Syntax
A