Some basic abstractions