size > 0 or we would not have recieved anything, right? Can we put:

assert(size > 0, "Input maps must be non-empty")

else, we are not going to do the acking correctly, right?