Collaborations between Paul Beaver and John Goldstone