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