. . "P - Q"@deu . "P - Q"@deu . .