That is similar to the point that the paper makes - however it proves it rigorously with formal logic.