Hoy sabemos desde 1924, que a mediados del siglo ⅩⅢ, Ibn AnNafis describió por primera vez la circulación pulmonar, lo que no resta ningún mérito a Servet, puesto que desconocía su existencia.