Add abstract definitions