Sharḥ Al-Bināʼ. 1800.