The cow has weaned her calf.

Decimate, to select by lot and put to death every tenth man of (a captured army or body of prisoners or mutineers) […] Compare 1/100: centesimation.

This paper presents a metatheorem with the following property: Given a proven axiom-free lemma, which interrelates some of the elementary properties of a binary relation, the metatheorem mechanically transforms this lemma into its uniquely corresponding complementary lemma.

Was it an attempt to refute Russell Drysdale's 1940s outbackery, the image of 'real Australia'?