dis ) ( arl E. Petrt ;.