The correction of logic by Ibn al-Sikkit

45