He died in 2023.