Medicine, which was dominated by the Hippocratic tradition, saw new advances under Praxagoras of Kos, who theorized that blood traveled through the veins. Who was the first to finalize his conclusions with dissections of cadevers?