{"result":{"text":"A intersection C equals ϕ"},"status":"ok"}