rewrite section on specification statements, including =>