Collaborations between Leonard Smith and John Carroll