state conditions for SetEpsilon