Unanswered Questions
What happens if a single EOS public key is mapped to multiple Ethereum addresses?
I would assume that the devs would account for such duplication by adding up the sum's of all tokens at various ETH addresses and aggregating them into the single public EOS address.