fix rule epsilon; change util