Hi,
we have slightly updated the text of the final term and the code of the smart contract. In the PDF there are a couple clarifications highlighted in blue. The smart contract has a small fix in the cast_envelope function as noted in the forum (we report the date of the update).
Please, refer to the last version of the text and of the code.
Laura Ricci, Andrea Lisi