(An abstract expression