\* Create new owner 'name' having 'address'
New_Owner( name, address ) == [ name |-> name, address |-> address ]