is illustrated and proved; ...