kz, W. Cover. pseudocode 2022, 9.