Eval and impl formatting