eval and assert