improve the wording of our claim to having more syntax