modify license CC BY 4.0 for formal format