Maybe we could devise a language which would be like a natural language but have some pretty neat formal properties... Wait...