added definitions for state sequences