instruction: let me know the short title of procedure of patient thomas nazario.
response: SELECT procedures.short_title FROM demographic INNER JOIN procedures ON demographic.hadm_id = procedures.hadm_id WHERE demographic.name = "Thomas Nazario"