Finalized the abstract language.