if a pothole is repaired then it no longer is a pothole