Collaborations between Jeremy Thomas and Odd-Magnus Williamson