An initial abstract