abstract in the style of Hoyland