What is Avicenna's name not needed for?