Collaborations between Gordon Hales and Denis Waldock