edwinknuth