An ideal solution to disputes about multiply realized kinds