Differentiation in the types of Qur'anic sciences