Don't we enforce curly brackets in our CS ?