It looks into automatizing the construction of Trust as a protocol. Potentially useful for MainWis.