Note: A Whirlwind Tour

###lone

• multiplicity

• Name -> lone Addr
  

• each name is mapped to at most one address

###Signature facts

• facts that apply to every member of a signature

###?lookup? {n.^(b.addr) & Addr}

###?Why I have different result with the book?

pay attention to the address mapping change in the Book definition

###Some lessons

• start from a simple model, add more constraints as needed