Collaborations between Pradhuman Singh and Nikhil Ratnaparkhi