Ibn al-Muqaffa, taqnīn, Islamic law codification, and synchronization.