add naming module for the final state