refresh specification statements