What Name Is Ludo Short For