Application: Web Of Trust

	        a string S has been constructed
		S is signed by key K
		S says chocolate is a food
		K is held by only Alice
		what Alice says is true
		[ maybe introduce Bob level, too ]
		this: chocolate is a food