a new idea for how to enforce syntax we used to allow