Smart-term vs. x-term