abstract representations