{"result":{"text":"x not an element of A intersection B"},"status":"ok"}