Wrote methods for deLeet and eval0