SYNTHESIZE: Adult;

    ENSURE: DIFFERENTIAL PRIVACY:
        EPSILON=<epsilon>, DELTA=1e-9;
        
    MINIMIZE: FAIRNESS: PARAM <param1>:
        DEMOGRAPHIC_PARITY(protected=sex, target=salary);
        
END;
