Certainty and circularity in evolutionary taxonomy