epsilon closure done