fixed to have epsilon state