9.1.2.
Function states