My brain always thought that was a no op, but the rule says infinite loop. Why would void be true? Not sure, but there likely was a good reason.