update to adjust to Egison3