Explain why we're not giving clear formal syntax definitions.