Yes, we originally intended that a lie could be identified even if the truth never emerged, since false facts contradict each other, while true facts do not. Thanks for the feedback!
