[kruhft]

I say typeset, you say declare, let's call the whole thing off! :)