eval0 method and tester