PP Theory of Polygraph Testing