"abstract" is superfluous