21.   His mother called her son Ernestito, Little Ernest, then shortened the name to Tito.

22.   The name was shortened as theater buildings succeeded one another over the centuries.