Example

• def Brand() : any {

• def key { }

• def envtype := Auditor()

• def Envelope(contents) : any {

• def self : envtype {

• to open(k) : any {

• if (k == key) {

• contents

• }

• }

• }

• }

• def sealer {

• to seal(contents) : any {

• Envelope(contents)

• }

• }

• def unsealer {

• to unseal(envelope : envtype) : any {

• envelope open(key)

• }

• }

• [sealer, unsealer]

• }