rewrite 6.24