9. Reducibility