On what subject is one of Avicenna's treatise based on?