Unlike in §5.1, where the true and proposed types could be compared via M&W (Milne and Witten, 2008), they could not be asked to objectively estimate relatedness between types.
two further refinements are needed to make this work.