and " semantic bindings " , which I thought might be too restrictive in case we don't have only bindings. And so it was an issue whether constraints  um , there were some linguists who reacted against " constraints " , saying , " oh , if it 's not used for matching , then it shouldn't be called a constraint ". But I think we want to be uncommitted about whether it 's used for matching or not. Right ? Cuz there are  I think we thought of some situations where it would be useful to use whatever the c bindings are , for actual , you know , sort of like modified constraining purposes.
Well , you definitely want to de - couple the formalism from the parsing strategy. So that whether or not it 's used for matching or only for verification , I
Yeah.
Yeah , yeah. It 's used shouldn't matter , right ? Mm - hmm.