Extend abstract and modify some expressions.