we should not ask for TotalFinder class because it may be renamed to reduce conflicts