> DDL spec decides that it has label that evaluates a command

This is simply wrong. There is nothing in the spec stating that.