{"result":{"text":"tilde left parenthesis p rightwards arrow q right parenthesis identical to p logical and tilde q"},"status":"ok"}