Collaborations between Jon Harris and Ravi Khote