The Logic and Metaphysics have been extensively reprinted, the latter, e. What is the shorter form of Al-Shifa called