abstract to the header