What doctrine is some of Avicenna's works based around?