. . "Then c is an answer to this query under CWA if and only if the following conditions are satisfied:" . .