codice_1 উদাহারণটিতে ফেরত গেলে দেখা যাবে, এখানে codice_1 এর উপাদানগুলি মানাড তৈরি করার জন্য ঘোষিত, কিন্তু এগুলি মানাডিয় সূত্রসমূহ অনুমোদন করে কি না তা দেখার জন্য কোন প্রমাণ দেয়া হয় নি।

এটি শোধরানোর জন্য সাধারণ সূত্রগুলোর এক পার্শ্বে codice_1 এর উপাদানগুলোর যথাযথ বর্ণনা প্রবেশ করিয়ে, বীজগাণিতিকভাবে অসমতার একটি ধারা তৈরি করে অপর পার্শ্বে পৌছানোর চেষ্টা করা যেতে পারে:

একত্ব মানাড
একটি উদাহরণ: Maybe
সংগ্রহ (কালেকশন)
মানাডিয় সূূত্রসমূহের সিদ্ধকরণ