Patch 10 depends on Patch 9.