A few comments on trust labels
pass over trust
dclabels
updateDBP, but it's a bit complicated
Add a few annotations reflecting the current label state.
Merge branch 'master' of github.com:ejgallego/lio-lecture