Whereas giraffomorphs cluster with bovidomorphs in the MP analysis, they interchange its position with the cervoids (cervids + dromomerycids) in the combined Bayesian analysis splitting as the basal offshoot of the large clade of derived pecorans (although this cervoid + bovidomorph clade was recorded with a PP = 0.42).

Between 1997 and 2006, ownership of Glenfeshie passed between three Danish businessmen – and with it a self-destructive business model. Only by maintaining very high numbers of livestock could the flow of fee-paying deerstalkers armed with rifles be ensured, but because of the rising cost of gamekeepers and estate upkeep, Glenfeshie’s sporting operations were still making a loss.

5.7.T ( Unification theorem ) For any two terms or formulas without quantifiers X and Y, the following holds. (i) The unification algorithm UNIF₁, applied to X, Y, terminates after a finite number of steps. (ii) {X, Y} is unifiable iff UNIF₁ so indicates upon ter- mination. Moreover, the substitution σ then available as out- put is a most general unifier of {X, Y}.

If you don't have time to watch the show itself, here is a taste of Stephen Fry's hosting patter: the creamily edible Rosamund Pike. A few new words from the Fry lexicon include: arsewash and amazian. Contrafibularities all round!