[+][-]State is defined.