document possible values of internal state properties