Collaborations between Mahavir Shah and Mohan Joshi