I have a question related to transaction calling a smart contract. Support two transactions T1 and T2 calling a smart contract A, and assume that T1 and T2 are sharded into shard 1 and shard 2 for processing. After microblocks created by each shard containing T1 and T2, respectively, the state of the the smart contract A is updated concurrently by both shards (following both transactions), how the final block aggregation steps resolves the two concurrently updated states of the same smart contract A in this case?