Specification of ESON