What is Avicenna's name needed for