A little bit of formoptimization.