instruction: what is procedure long title of subject name travis hofman?
response: SELECT procedures.long_title FROM demographic INNER JOIN procedures ON demographic.hadm_id = procedures.hadm_id WHERE demographic.name = "Travis Hofman"