Storing values:
Owner (client) keeps its value.
Each value should be replicated on K servers.
Receipt (prove that value is replicated on K servers).
