Week 10: The work of Al-Toussi on Euclid's axioms