Collaborations between Rajendra Sethi and Nikhil Ratnaparkhi