Collaborations between Michael Hausman and Alan Heim