Footnote:
By convention, symbols prefixed with ? are variables, and symbols prefixed with $ are database identifiers.
Go back to paper