+ operator on states and 'isIdentical()'