Further work on step 9