Finish all val assoc specs