Collaborations between Rana Jung Bahadur and Mohan Joshi