made ordering implicit
filled b is greater than empty a