Yeah.
Yeah , that 's true.
So that 's why you put semantic constraints up top and meaning bindings down  down here ?
Oh , oops ! No. That was just a mistake of cut and paste from when I was going with it.