add abstraction eval