Sanskrit to English:
समरूपतां प्राप्तुं ट्रेड्-आफ़् भवतः, प्रथमं, यदा एकस्मात् अधिकानि लाक् भवन्ति तदा लाक् इत्येतं प्राप्तुं, निरस्तुं च अधिकसमयः भवति, तथाच द्वितीयं, साधुत्ववादाः जटिलाः भवन्ति।
The trade-offs in gaining concurrency are first, that when there is more than one lock, more time is spent acquiring and releasing locks, and second, correctness arguments become more complex.