Collaborations between Michael Gough and Robert Boris