FIXME about checking repeated states checked and solved