Three specification files have been added.