New post on array reasoning, from dissertation