More related work. Should be more or less finished now.
More about the relationship between pull and push arrays in the section
on push arrays