A repairman, while fixing the plumbing, introduced.