rewrite 9.22