reasoning about state\'s value