Add facilities for state transition