A state used to evaluate modal truth.