The AddFunds transition accepts funds from Proxy which does not have any
further checks, which means anyone can send money to SSNList (via Proxy) and the
contract will accept it. What if this happens by mistake? Should the contract
unconditionally accept funds?