Eliminate "Compatible License" definition in section 4.