the plumber problem