This logic condition is very difficult to understand and to check.
It seems to be Roger's style, can we get him to explain us better what is this supposed to do?