Refinement of Ibn Al-Khatib's Harvest in the Principles of Jurisprudence