declare erf