$ 0 0 I want to construct a ForAll statement to achieve: ForAll <records> in <database> Can anyone help with the correct syntax, p