Nepali 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.