Move text about Push arrays from future work to discussion