Comment by Smar

I think it is not redundant - it gives emphasis for a guess, to make sure reader won't mix it up with other things that may be verified to be truthy.