Add SPDL of the protocol