{"result":{"text":"for all r element of N"},"status":"ok"}