method

refute_in_epsilon