added corner cases for state I