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