Describir: Taḥqīq-i ḥaq.