Something that DonKnuth claims not to use.