
SYNTHESIZE: German;

    ENFORCE: STATISTICAL: PARAM <param1>:
        (E[A20 * A17] - E[A20] * E[A17]) / (STD[A20] * STD[A17] + 0.00001) == 0;

END;
