Collaborations between Bug Hall and Robert Wolterstorff