Dokumen ini membahas tentang tanaqudh dan 'aks mustawy. Tanaqudh adalah pertentangan antara dua proposisi yang memiliki subjek dan predikat yang sama tetapi berbeda dalam kuantitas atau kualitasnya. Sedangkan 'aks mustawy adalah memindahkan bagian qadliyah antara dua proposisi tanpa mengubah maknanya. Dokumen ini juga menjelaskan contoh dan metode pembuatan tanaqudh dan 'aks mustawy.