some ast terms