His Name Was Mario.