nit: don't say "Now we have:" twice.