The second line appears unnecessary because the formula in that comment is missing one line from the definition of LION. See my above comment.